#include "arduino_basic/tick.hpp"

#if 0




#else

extern uint32_t millis(void);

extern uint32_t micros(void);

extern void delayMicroseconds(uint32_t t);


namespace arduino_basic {

    TimeType millis() __attribute__((weak));
    
    TimeType micros() __attribute__((weak));

    void delayMicroseconds(TimeType t) __attribute__((weak));


    TimeType millis() {
        return ::millis();
    }


    TimeType micros() {
        return ::micros();
    }


    void delayMicroseconds(TimeType t) {
        return ::delayMicroseconds(t);
    }

}

#endif